1. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
2. Collegium logicum : annals of the Kurt-Godel society
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Periodicals ، Logic, Symbolic and mathematical
رده :
QA
9
.
C64
3. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
4. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
5. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
6. , 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
پدیدآورنده: Matthias Baaz, Johann A. Makowsky )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2803
7. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
8. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
9. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
10. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
11. Incompleteness :the proof and paradox of Kurt Godel
پدیدآورنده: Goldstein, Rebecca
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Gغodel, Kurt,Biography ، Logicians - United States,Biography ، Logicians - Austria,، Gغodel's theorem,، Proof theory
رده :
QA29
.
G58
G65
2005
12. Kurt Gödel :
پدیدآورنده: edited by Francisco A. Rodríguez-Consuegra ; with a historico-philosophical introduction by the editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt-- Influence.,Gödel, Kurt.,Mathematics-- Philosophy.,Influence (Literary, artistic, etc.),Mathematics-- Philosophy.
رده :
QA8
.
6
13. Kurt Gödel and the foundations of mathematics :
پدیدآورنده: edited by Matthias Baaz ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
14. Kurt Godel and the foundations of mathematics : horizons of truth
پدیدآورنده: edited by Matthias Baaz ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
65
.
K87
15. Kurt Godel : essays for his centennial
پدیدآورنده: edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
16. Logical dilemmas : the life and work of Kurt Godel
پدیدآورنده: Dawson, Jr., John W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
رده :
QA
29
.
G58D3
17. Reflections on Kurt Godel
پدیدآورنده: Wang, Hao 1291-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
1
.
W3
R4
1987
18. Reflections on Kurt Godel
پدیدآورنده: Wang, Hao, 1291-5991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58W33
19. Reflexiones sobre Kurt Gödel
پدیدآورنده: Hao Wang. Versión española de Pilar Castillo Criado
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt, -- 1906-1978.,Mathematik,Philosophie
20. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده: Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
